es{-}init{-}elapsed(${\it es}$; $i$; $t$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_init(${\it es}$)($i$,$x$,$t$)